1

On the Interpretation of Intuitionistic Number Theoryby S. C. Kleene

Review by: Andrzej Mostowski
Journal:
Journal of Symbolic Logic
Year:
1947
Language:
english
File:
PDF, 452 KB
english, 1947
2

On the Semantics of the Theory of Types.by S. R. Kogalovskij

Review by: Andrzej Mostowski
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 370 KB
english, 1972
3

On the Axiom of Complete Inductionby P. S. Novikov

Review by: Andrzej Mostowski
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 355 KB
english, 1950
4

On Unsolvable Mathematical Problemsby L. Kalmár

Review by: Andrzej Mostowski
Journal:
Journal of Symbolic Logic
Year:
1949
Language:
english
File:
PDF, 426 KB
english, 1949
5

On the Intuitionistic Logicby S. C. Kleene

Review by: Andrzej Mostowski
Journal:
Journal of Symbolic Logic
Year:
1949
Language:
english
File:
PDF, 247 KB
english, 1949
6

Recursive Functions and Intuitionistic Number Theoryby David Nelson

Review by: Andrzej Mostowski
Journal:
Journal of Symbolic Logic
Year:
1947
Language:
english
File:
PDF, 335 KB
english, 1947
9

Matrix Representation of Recursive Operatorsby B. A. Trahténbrot

Review by: Andrzej Mostowski
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 304 KB
english, 1956
12

Recursive Functions and Intuitionistic Mathematicsby S. C. Kleene

Review by: Andrzej Mostowski
Journal:
Journal of Symbolic Logic
Year:
1953
Language:
english
File:
PDF, 354 KB
english, 1953
15

On the Representation of Recursive Functionsby A. A. Markov

Review by: Andrzej Mostowski
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 202 KB
english, 1950
16

Elements of Mathematical Logicby P. S. Novikov

Review by: Andrzej Mostowski
Journal:
Journal of Symbolic Logic
Year:
1965
Language:
english
File:
PDF, 362 KB
english, 1965
17

Odin métod postroéniá néstandartnoj modéli aksiomatičéskoj téorii množéstv Bérnajsa Gédélá (A method of constructing a non-standard model for the axiomatic set theory of Bernays-Gödel).by Petr Vopěnka;Postroénié modéléj téorii množéstv métodom spéktra (Konstruktion von Modellen der Mengenlehre mit der Methode de Spektren).by Petr Vopěnka;Eléméntarnyé ponátiá v téorii množéstv (Elementare Begriffe in der Mengenlehre).by Petr Vopěnka;Postroénié néstandartnoj nérégulárnoj modéli téorii množéstv (Konstruktion von nichtregulären Nichstandardmodellen der Mengenlehre).by Petr Vopěnka;Podmodéli modéléj téorii množéstv (Teilmodelle von Modellen der Mengenlehre).by Petr Vopěnka

Review by: Andrzej Mostowski
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 558 KB
english, 1970
18

Elements of Mathematical Logicby Jan Łukasiewicz

Review by: Andrzej Mostowski
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 215 KB
english, 1966
19

Les Fondements Logiques des Mathématiquesby E. W. Beth

Review by: Andrzej Mostowski
Journal:
Studia Logica
Year:
1956
Language:
polish
File:
PDF, 753 KB
polish, 1956
20

Self-Reference in Philosophyby Frederic B. Fitch

Review by: Andrzej Mostowski
Journal:
Journal of Symbolic Logic
Year:
1946
Language:
english
File:
PDF, 328 KB
english, 1946
21

Consistency of the Projective Evaluation of Non-Effective Setsby B. S. Sodnomov

Review by: Andrzej Mostowski
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 345 KB
english, 1956
22

Elements of Formal Logicby Adam Wiegner

Review by: Andrzej Mostowski
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 317 KB
english, 1950
23

On Regularity Classesby P. S. Novikov

Review by: Andrzej Mostowski
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 353 KB
english, 1950
25

Some Notes on Recursively Enumerable Setsby V. A. Uspénskij

Review by: Andrzej Mostowski
Journal:
Journal of Symbolic Logic
Year:
1958
Language:
english
File:
PDF, 354 KB
english, 1958
28

On the Independence of the Axioms of Definitenessby Abraham Robinsohn

Review by: Andrzej Mostowski
Journal:
Journal of Symbolic Logic
Year:
1939
Language:
english
File:
PDF, 206 KB
english, 1939
29

On the Representation of Recursive Functionsby A. Markov

Review by: Andrzej Mostowski
Journal:
Journal of Symbolic Logic
Year:
1949
Language:
english
File:
PDF, 232 KB
english, 1949
34

Remarks on Method in Mathematics and Physicsby Stanislaw Zaremba

Review by: Andrzej Mostowski
Journal:
Journal of Symbolic Logic
Year:
1946
Language:
english
File:
PDF, 207 KB
english, 1946
35

Some Logical Theorems on the Normal Sets and Predicatesby D. A. Bočvar

Review by: Andrzej Mostowski
Journal:
Journal of Symbolic Logic
Year:
1947
Language:
english
File:
PDF, 205 KB
english, 1947
36

Ob Osnovah Sémantiki.by L. Chwistek

Review by: Andrzej Mostowski
Journal:
Journal of Symbolic Logic
Year:
1946
Language:
english
File:
PDF, 324 KB
english, 1946
37

Ob Aksiomé Cérmélo i éé Roli v Sovréménnoj Matématiké.by L. Chwistek

Review by: Andrzej Mostowski
Journal:
Journal of Symbolic Logic
Year:
1946
Language:
english
File:
PDF, 207 KB
english, 1946
38

Fundamental Principles of the Philosophical Sciencesby Tadeusz Czezowski

Review by: Andrzej Mostowski
Journal:
Journal of Symbolic Logic
Year:
1947
Language:
english
File:
PDF, 210 KB
english, 1947
39

Genesis and Development of Intuitionistic Logicby Zygmunt Zawirski

Review by: Andrzej Mostowski
Journal:
Journal of Symbolic Logic
Year:
1947
Language:
english
File:
PDF, 317 KB
english, 1947
40

The Semantic Definition of Truthby Max Black

Review by: Andrzej Mostowski
Journal:
Journal of Symbolic Logic
Year:
1948
Language:
english
File:
PDF, 308 KB
english, 1948
43

On Some Unsolvable Problems Concerning Matricesby A. Markov

Review by: Andrzej Mostowski
Journal:
Journal of Symbolic Logic
Year:
1948
Language:
english
File:
PDF, 295 KB
english, 1948
46

Realization of a Linear Function in the Class of II-Circuitsby S. V. Áblonskij

Review by: Andrzej Mostowski
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 180 KB
english, 1956
47

On Non-Isomorphic Recursively Enumerable Setsby Ú. T. Médvédév

Review by: Andrzej Mostowski
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 285 KB
english, 1956
48

On Functional Decomposability of Boolean Functionsby G. N. Povarov

Review by: Andrzej Mostowski
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 180 KB
english, 1956
49

A Variant to Hilbert's Theory of the Foundations of Arithmeticby G. Kreisel

Review by: Andrzej Mostowski
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 481 KB
english, 1957
50

On Calculable Operationsby V. A. Uspénskij

Review by: Andrzej Mostowski
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 351 KB
english, 1957